41. Automata, languages, and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal Languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
267
.
I55
1985
42. Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings
پدیدآورنده : Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
2076
43. Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : Proceedings
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodriguez Artalejo )eds.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
I5
1991
44. Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings
پدیدآورنده : W. Kuich )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
623
45. Automata theory and formal languages : 2nd GI Conference, Kaiserslautern, May 20-23, 1975
پدیدآورنده : edited by H. Brakhage on behalf GI
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
33
46. Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
پدیدآورنده : edited by H. Brakhage on behalf of GI
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
267
.
A924
47. Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
پدیدآورنده : edited by H. Brakhage on behalf of GI
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
33
48. Descriptional complexity of formal systems :
پدیدآورنده : Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages -- Congresses.,Formal methods (Computer science) -- Congresses.,Machine theory -- Congresses.
49. Descriptional complexity of formal systems :
پدیدآورنده : Markus Holzer, Martin Kutrib, Giovanni Pighizzini (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages, Congresses,Formal methods (Computer science), Congresses,Machine theory, Congresses
رده :
QA267
.
3
.
D34
2011
50. Fachtagung uber Automatentheorie und Formale Sprachen
پدیدآورنده : Gesellschaft fur Informatik
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Automata,Congresses ، Formal languages
رده :
QA
267
.
G47a
51. Groups, Languages, and geometry : 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College
پدیدآورنده : Robert H. Gilman, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Geometric group theory,Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
183
.
A5
1998
52. Groups, languages, and geometry: 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College
پدیدآورنده : Robert H. Gilman, editor
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Geometric group theory,Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
183
.
A47
1998
53. Groups, languages, and geometry: 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Geometric group theory,Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
183
.
A47
1998
54. Groups,languages,and geometry:1998 AMS-IMS-SIAM joint summer research conference on geometric group theory and coputer science,
پدیدآورنده : / Robert H.Gilman,editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Geometric group theory-Congresses.,Machine theory-Congresses.,Formal languages-Congress
رده :
QA183
.
S47
1998
55. Language and Automata Theory and Applications
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine theory -- Congresses,Formal languages -- Congresses,Mathematical linguistics -- Congresses,نظریه ماشین -- کنگره‌ها,زبانهای صوری -- کنگره‌ها,زبان‌شناسی ریاضی -- کنگره‌ها
رده :
E-Book
,
56. Language and Automata Theory and Applications :
پدیدآورنده : Carlos Martín-Vide, Alexander Okhotin, Dana Shapira (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Formal languages.,Machine theory.,Mathematical linguistics.
رده :
QA267
.
L38
2019eb
57. Language and automata theory and applications
پدیدآورنده : \ Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine theory -- Congresses.,Formal languages -- Congresses.,Mathematical linguistics -- Congresses.,نظریه ماشین -- کنگره ها ,زبانهای صوری -- کنگره ها ,زبان‌شناسی ریاضی -- کنگره ها
رده :
QA
267
.
L32
2015
E-Book
,
58. Language and automata theory and applications
پدیدآورنده : Adrian-Horia Dediu, Carlos Martín-Vide (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Formal languages, Congresses,Machine theory, Congresses,Mathematical linguistics, Congresses
رده :
QA267
.
L38
2012eb
59. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
60. Mathematical foundations of computer science
پدیدآورنده : edited by A. Blikle
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
5
.
S4
S89
1974
